|
|
Characterization of functions with zero traces via the distance function
Turčinová, Hana ; Nekvinda, Aleš (advisor) ; Edmunds, David Eric (referee)
Consider a domain Ω ⊂ RN with Lipschitz boundary and let d(x) = dist(x, ∂Ω). It is well known for p ∈ (1, ∞) that u ∈ W1,p 0 (Ω) if and only if u/d ∈ Lp (Ω) and ∇u ∈ Lp (Ω). Recently a new characterization appeared: it was proved that u ∈ W1,p 0 (Ω) if and only if u/d ∈ L1 (Ω) and ∇u ∈ Lp (Ω). In the author's bachelor thesis the condition u/d ∈ L1 (Ω) was weakened to the condition u/d ∈ L1,p (Ω), but only in the case N = 1. In this master thesis we prove that for N ≥ 1, p ∈ (1, ∞) and q ∈ [1, ∞) we have u ∈ W1,p 0 (Ω) if and only if u/d ∈ L1,q (Ω) and ∇u ∈ Lp (Ω). Moreover, we present a counterexample to this equivalence in the case q = ∞. 1
|
|
|
Differentiability of the inverse mapping
Konopecký, František ; Hencl, Stanislav (advisor) ; Honzík, Petr (referee)
Primary objective of the thesis is proof of the statement that if for ∈ ℕ a ≥ 1 a bilipschitz mapping belongs to +1, loc ∩ ,∞ loc then also its inverse −1 belongs to +1, loc . We prove a similar statement also for spaces loc . For this purpose we construct a new ordering of -th partial derivatives to generalized Jacobian matrix. Thanks to this matrix we are able to differentiate matrices in an applicable way. Generalized Jacobian matrix is projected so that there still holds the Chain rule and, in some way, also rules for matrices product differentiation. 1
|
|
|
Sobolev embedding theorem on domains without Lipschitz boundary
Roskovec, Tomáš ; Hencl, Stanislav (advisor) ; Honzík, Petr (referee)
We study the Sobolev embeddings theorem and formulate modified theorems on domains with nonlipschitz boundary. The Sobolev embeddings the- orem on a domain with Lipschitz boundary claims f ∈ W1,p ⇒ f ∈ Lp∗ (p) , kde p∗ (p) = np n − p . The function p∗ (p) is continuous and even smooth. We construct a domain with nonlipschitz boundary and function of the optimal embedding i.e. analogy of p∗ (p) is not continous. In the first part, according to [1], we construct the domain with the point of discontinuity for p = n = 2. Though we used known construction of domain, we prove this by using more simple and elegant methods. In the second part of thesis we suggest the way how to generalize this model domain and shift the point of discontinuity to other point than p = n = 2.
|
|
|
Properties of weakly differentiable functions and mappings
Kleprlík, Luděk
We study the optimal conditions on a homeomorphism f : Ω → Rn which guarantee that the composition u◦f is weakly differentiable and its weak derivative belongs to the some function space. We show that if f has finite distortion and q-distortion Kq = |Df|q /Jf is integrable enough, then the composition operator Tf (u) = u ◦ f maps functions from W1,q loc into space W1,p loc and the well-known chain rule holds. To prove it we characterize when the inverse mapping f−1 maps sets of measure zero onto sets of measure zero (satisfies the Luzin (N−1 ) con- dition). We also fully characterize conditions for Sobolev-Lorentz space WLn,q for arbitrary q and for Sobolev Orlicz space WLq log L for q ≥ n and α > 0 or 1 < q ≤ n and α < 0. We find a necessary condition on f for Sobolev rearrangement invariant function space WX close to WLq , i.e. X has q-scaling property. 1
|
|
|
Differentiability of the inverse mapping
Konopecký, František ; Hencl, Stanislav (advisor)
Primary objective of the thesis is proof of the statement that if for ∈ ℕ a ≥ 1 a bilipschitz mapping belongs to +1, loc ∩ ,∞ loc then also its inverse −1 belongs to +1, loc . We prove a similar statement also for spaces loc . For this purpose we construct a new ordering of -th partial derivatives to generalized Jacobian matrix. Thanks to this matrix we are able to differentiate matrices in an applicable way. Generalized Jacobian matrix is projected so that there still holds the Chain rule and, in some way, also rules for matrices product differentiation. 1
|
|
|
Characterization of functions with zero traces via the distance function
Turčinová, Hana ; Nekvinda, Aleš (advisor) ; Edmunds, David Eric (referee)
Consider a domain Ω ⊂ RN with Lipschitz boundary and let d(x) = dist(x, ∂Ω). It is well known for p ∈ (1, ∞) that u ∈ W1,p 0 (Ω) if and only if u/d ∈ Lp (Ω) and ∇u ∈ Lp (Ω). Recently a new characterization appeared: it was proved that u ∈ W1,p 0 (Ω) if and only if u/d ∈ L1 (Ω) and ∇u ∈ Lp (Ω). In the author's bachelor thesis the condition u/d ∈ L1 (Ω) was weakened to the condition u/d ∈ L1,p (Ω), but only in the case N = 1. In this master thesis we prove that for N ≥ 1, p ∈ (1, ∞) and q ∈ [1, ∞) we have u ∈ W1,p 0 (Ω) if and only if u/d ∈ L1,q (Ω) and ∇u ∈ Lp (Ω). Moreover, we present a counterexample to this equivalence in the case q = ∞. 1
|
|
|
Gradient polyconvexity and its application to problems of mathematical elasticity and plasticity
Zeman, Jiří ; Kružík, Martin (advisor) ; Zeman, Jan (referee)
Polyconvexity is a standard assumption on hyperelastic stored energy densities which, together with some growth conditions, ensures the weak lower semicontinuity of the respective energy functional. The present work first reviews known results about gradient polyconvexity, introduced by Benešová, Kružík and Schlömerkemper in 2017. It is an alternative property to polyconvexity, better-suited e.g. for the modelling of shape-memory alloys. The principal result of this thesis is the extension of an elastic material model with gradient polyconvex energy functional to an elastoplastic body and proving the existence of an energetic solution to an associated rate- independent evolution problem, proceeding from previous work of Mielke, Francfort and Mainik. 1
|
|
|
Properties of weakly differentiable functions and mappings
Kleprlík, Luděk ; Hencl, Stanislav (advisor) ; Kružík, Martin (referee) ; Onninen, Jani (referee)
We study the optimal conditions on a homeomorphism f : Ω → Rn which guarantee that the composition u◦f is weakly differentiable and its weak derivative belongs to the some function space. We show that if f has finite distortion and q-distortion Kq = |Df|q /Jf is integrable enough, then the composition operator Tf (u) = u ◦ f maps functions from W1,q loc into space W1,p loc and the well-known chain rule holds. To prove it we characterize when the inverse mapping f−1 maps sets of measure zero onto sets of measure zero (satisfies the Luzin (N−1 ) con- dition). We also fully characterize conditions for Sobolev-Lorentz space WLn,q for arbitrary q and for Sobolev Orlicz space WLq log L for q ≥ n and α > 0 or 1 < q ≤ n and α < 0. We find a necessary condition on f for Sobolev rearrangement invariant function space WX close to WLq , i.e. X has q-scaling property. 1
|
|
|
Properties of weakly differentiable functions and mappings
Kleprlík, Luděk
We study the optimal conditions on a homeomorphism f : Ω → Rn which guarantee that the composition u◦f is weakly differentiable and its weak derivative belongs to the some function space. We show that if f has finite distortion and q-distortion Kq = |Df|q /Jf is integrable enough, then the composition operator Tf (u) = u ◦ f maps functions from W1,q loc into space W1,p loc and the well-known chain rule holds. To prove it we characterize when the inverse mapping f−1 maps sets of measure zero onto sets of measure zero (satisfies the Luzin (N−1 ) con- dition). We also fully characterize conditions for Sobolev-Lorentz space WLn,q for arbitrary q and for Sobolev Orlicz space WLq log L for q ≥ n and α > 0 or 1 < q ≤ n and α < 0. We find a necessary condition on f for Sobolev rearrangement invariant function space WX close to WLq , i.e. X has q-scaling property. 1
|
|
|
Differentiability of the inverse mapping
Konopecký, František ; Hencl, Stanislav (advisor)
Primary objective of the thesis is proof of the statement that if for ∈ ℕ a ≥ 1 a bilipschitz mapping belongs to +1, loc ∩ ,∞ loc then also its inverse −1 belongs to +1, loc . We prove a similar statement also for spaces loc . For this purpose we construct a new ordering of -th partial derivatives to generalized Jacobian matrix. Thanks to this matrix we are able to differentiate matrices in an applicable way. Generalized Jacobian matrix is projected so that there still holds the Chain rule and, in some way, also rules for matrices product differentiation. 1
|
guest ::
